ITL semantics of composite Petri nets
نویسندگان
چکیده
Article history: Received 14 September 2011 Received 20 September 2012 Accepted 4 December 2012 Available online 26 December 2012
منابع مشابه
An Algebra of Non-safe Petri Boxes
We define an algebraic framework based on non-safe Petri nets, which allows one to express operations such as iteration, parallel composition, and transition synchronisation. This leads to an algebra of process expressions, whose constants and operators directly correspond to those used in Petri nets, and so we are able to associate nets to process expressions compositionally. The semantics of ...
متن کاملM - nets : an Algebra of High - level Petri Nets , with an Application to the Semantics ofConcurrent Programming
This paper describes a high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature of this model is that it allows both: unfolding, as do most other high-level net models; and composition { in particular, synchronisation { in a process algebraic style, turning the set of M-nets into an algebraic domain. It turns out that the composition operations of this do...
متن کاملSemantic Embedding of Petri Nets into Event-B
We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets. The static structure of a Petri net is captured within a B abstract system through a graph structure. This abstract system is then included in another abstract system which captures the evolution semantics...
متن کاملA Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2
In this paper a high-level Petri net model called M-nets (for multilabeled nets) is developed. A distinctive feature of this model is that it allows not only vertical unfolding, as do most other high-level net models, but also horizontal composition in particular, synchronisation in a manner similar to process algebras such as CCS. This turns the set of M-nets into a domain whose composition op...
متن کاملComplete Process Semantics of Petri Nets
In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the habilitation thesis [15]. The aim states that causality semantics deduced from process nets should be complete w.r.t. step semantics of a Petri net in the sense that each causality structure which is enabled w.r.t. s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Program.
دوره 82 شماره
صفحات -
تاریخ انتشار 2013